<?php header('Location: sesion_dev.php/index'); ?>